$\forall$$T$:Type, $l$:($T$ List). iseg($T$; []; $l$)